siag (V) | | Poor man's office suite with spreadsheet, word processor, etc |
slatec | | Library of mathematical and statistical Fortran 77 subroutines |
snns | | Software simulator for neural networks |
speedcrunch | | Calculator |
stan-math | | Stan Math library |
statist | | Small and portable statistics program |
sundials | | Suite of nonlinear and differential/algrbraic equation solvers |
superlu | | ANSI C routine library for the solution of sparse linear systems |
svmlin | | Fast Linear SVM Solvers for Supervised and Semi-supervised Learning |
tasp-vsipl | | Vector Signal Image Processing Library |
teapot | | Curses based spread sheet program |
tex-apnum | | Arbitrary precision numbers implemented by TeX macros |
tex-apnum-doc | | Documentation for tex-apnum |
tex-fp | | Fixed point arithmetic |
tex-fp-doc | | Documentation for tex-fp |
tex-kastrup | | Expansible conversion into binary-based number systems |
tex-kastrup-doc | | Documentation for tex-kastrup |
tex-mathpartir | | Typesetting sequences of math formulas, e.g. type inference rules |
tex-mathpartir-doc | | Documentation for tex-mathpartir |
tex-mathspec | | Specify arbitrary fonts for mathematics in XeTeX |
tex-mathspec-doc | | Documentation for tex-mathspec |
tex-tikz-cd (V) | | Create commutative diagrams with TikZ |
tex-tikz-cd-doc (V) | | Documentation for tex-tikz-cd |
tex-unicode-math | | Unicode mathematics support for XeTeX and LuaTeX |
tex-unicode-math-doc | | Documentation for tex-unicode-math |
texdrive | | Emacs mode for creating inline formulae for HTML |
TinySVM | | Tiny Support Vector Machines |
tochnog | | Finite Element Analysis Program |
udunits | | Library and program for manipulating units of physical quantities |
units | | GNU Units - a calculator capable of performing unit conversions |
vista | | Visual statistics system |
vowpal_wabbit | | Vowpal Wabbit is a machine learning system |
wxmaxima | | Graphical UI for maxima |
xeukleides10 | | X-Frontend for A Euclidean geometry drawing language |
xfractint | | Fractint for X11 |
xgap | | GUI for GAP |
xldlas | | XForms-based statistics package |
xlife | | John Horton Conway's Game of Life |
xlispstat | | Statistics/X11-based LISP interpreter |
xmgr | | Powerful XY plotting tool for workstations or X-terminals using X |
xylib | | Library for reading powder diffraction data |
yacas | | Yet Another Computer Algebra System |
yices2 | | Yices 2 SMT solver |
yorick | | Numerical algebra system (similar to Matlab) |
z3 | | The Z3 theorem prover / SMT solver |